Eliminated the line number font predefinition.
authorEli Zaretskii <eliz@gnu.org>
Thu, 30 Nov 2000 13:23:04 +0000 (13:23 +0000)
committerEli Zaretskii <eliz@gnu.org>
Thu, 30 Nov 2000 13:23:04 +0000 (13:23 +0000)
commitacfd8821122f7fc7d2c928a88e472e3217d51267
tree0ed52378af22fe9332c45621e7ac0bbfe4c3f1ee
parent7227a740176d31e5849a053281591bee8c522f77
Eliminated the line number font predefinition.
etc/ps-prin1.ps